A Dynamic Interpretation of the CPS Hierarchy
نویسندگان
چکیده
The CPS hierarchy of control operators shifti/reseti of Danvy and Filinski is a natural generalization of the shift and reset static control operators that allow for abstracting delimited control in a structured and CPS-guided manner. In this article we show that a dynamic variant of shift/reset, known as shift0/reset0, where the discipline of static access to the stack of delimited continuations is relaxed, can fully express the CPS hierarchy. This result demonstrates the expressive power of shift0/reset0 and it offers a new perspective on practical applications of the CPS hierarchy.
منابع مشابه
On the Curry-Howard Interpretation of a Fragment of Classical Linear Logic with Subexponentials
We construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski [6]. However, instead of relying on nested CPS translations, these operators give directly a Curry-Howard interpretation of a fragment of linear logic extended with subexponentials, i.e., multiple pairs of ! and ?. We show how the fundamental problem of delimited...
متن کاملThe Theory and Practice of Programming Languages with Delimited Continuations
This dissertation presents a study of functional programming languages with first-class delimited continuations. We focus mainly on theoretical and practical aspects of Danvy and Filinski’s hierarchy of static delimited-control operators shiftn and resetn, and of Felleisen’s dynamic delimited-control operators control and prompt. Our study uses the traditional means of specifying semantics of f...
متن کاملA Call-by-Name CPS Hierarchy
The Continuation-Passing-Style (CPS) translation gives semantics to control operators such as exception and first-class continuations. By iterating this translation, Danvy and Filinski obtained a CPS hierarchy, and used it to specify a series of control operators, hierarchical (or layered) delimited-control operators, We introduce a call-by-name variant of the CPS hierarchy. While most of the w...
متن کاملHierarchy Style Application in Line Extension with Responsive Loads Evaluating the Dynamic Nature of Solar Units
This paper presents a model for line extension scheduled to participate in responsive loads in the power system aiming the improvement of techno-economical parameters. The model is studied with the presence of photovoltaic generators that produce variable power depending on the geographical condition. The investment cost of the transmission expansion plan, demand response operation cost, genera...
متن کاملA Hierarchy for Delimited Continuations in Call-by-Name
Λμ-calculus was introduced as a Böhm-complete extension of Parigot's λμ-calculus. Λμ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited control as evidenced by Herbelin and Ghilezan. In their seminal paper on (CBV) delimited control, Danvy and Filinski introduced the CPS Hierarchy of control operators (shifti/reseti)i∈ω. In a similar way, we introduce in the present pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012